Abstract Group Definitions and Applications
نویسندگان
چکیده
منابع مشابه
Abstract Interpretation with Specialized Definitions
Interpretation with Specialized Definitions Germán Puebla Elvira Albert Manuel V. Hermenegildo School of Computer Science T. U. of Madrid (UPM) 2 School of Computer Science Complutense U. of Madrid Depts. of CS and ECE U. of New Mexico
متن کاملDynamical Probabilistic P Systems: Definitions and Applications
We introduce dynamical probabilistic P systems, a variant where probabilities associated to the rules change during the evolution of the system, as a new approach to the analysis and simulation of the behavior of complex systems. We define the notions for the analysis of the dynamics and we show some applications for the investigation of the properties of the Brusselator (a simple scheme for th...
متن کاملMaximal Falsifiability - Definitions, Algorithms, and Applications
Similarly to Maximum Satisfiability (MaxSAT), Minimum Satisfiability (MinSAT) is an optimization extension of the Boolean Satisfiability (SAT) decision problem. In recent years, both problems have been studied in terms of exact and approximation algorithms. In addition, the MaxSAT problem has been characterized in terms of Maximal Satisfiable Subsets (MSSes) and Minimal Correction Subsets (MCSe...
متن کاملCryptographic Accumulators: Definitions, Constructions and Applications
After their first appearance in the cryptographic community ten years ago, cryptographic accumulators have received a discontinuous attention from the researchers of the field. Although occasionally studied, there has been no systematic effort to organize the knowledge of the subject, abstracting away from the unnecessary details of specific proposals, so as to provide a reliable starting point...
متن کاملAbstract Gsos Rules and a Compositional Treatment of Recursive Definitions
GSOS RULES AND A COMPOSITIONAL TREATMENT OF RECURSIVE DEFINITIONS STEFAN MILIUS, LAWRENCE S. MOSS, AND DANIEL SCHWENCKE Institut für Theoretische Informatik, Technische Universität Braunschweig, Germany e-mail address: [email protected] Department of Mathematics, Indiana University, Bloomington, IN, USA e-mail address: [email protected] Institut für Theoretische Informatik, Technische Univ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1923
ISSN: 0002-9947
DOI: 10.2307/1989252